PyDigger - unearthing stuff about Python


NameVersionSummarydate
model-checker 0.8.4 A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. 2025-02-25 05:20:24
hourdayweektotal
63250710692298385
Elapsed time: 2.45464s